21. Computers in algebra and number theory
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebra-- Data processing-- Congresses,، Number theory-- Data processing-- Congresses
رده :
QA
150
.
S9
1970


22. Design and implementation of symbolic computation systems :
پدیدآورنده : John Fitch
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.

23. Exploring the early digital /
پدیدآورنده : Thomas Haigh, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019


24. From combinatorics to dynamical systems
پدیدآورنده : / editors F. Fauvet, C. Mitschi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Algebra , Data processing , Congresses
رده :
E-BOOK

25. From combinatorics to dynamical systems
پدیدآورنده : / editors F. Fauvet, C. Mitschi
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Algebra--Data processing--Congresses
رده :
QA
,
155
.
7
,.
E4
,
F76
,
2003


26. Groups and computation
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors,Series
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Group theory -- Data processing -- Congresses,Algebra -- Data processing -- Congresses
رده :
QA
.
D36
,
G76
174
.
7
1993


27. Groups and computation: Workshop on Groups and computation october 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Group theory - Data processing - Congresses,، Algebra - Data processing congresses
رده :
QA
174
.
7
.
D36
G7


28. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Group theory,Data processing --Congresses ، Algebra
رده :
QA
174
.
7
.
D36D55
1991


29. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : Data processing -- Congresses ، Group theory,Data processing -- Congresses ، Algebra
رده :
QA
174
.
7
.
D36
G76
1993


30. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Group theory - Data processing - Congresses , Algebra - Data processing - Congresses
رده :
QA
174
.
7
.
D36
G76
1991


31. ISSAC 2003: proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation: August 3-6, 2003, Philadelphia, PA
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Mathematics-- Data processing,Congresses ، Algebra-- Data processing
رده :
QA
76
.
95
.
I59
2003


32. ISSAC 2001 : proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, July 22-25, 2001, University of Western Ontario, London, Ontario, Canada
پدیدآورنده : Bernard Mourrain, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Mathematics
رده :
QA
155
.
7
.
E4I57
2001


33. ISSAC 2002 : proceedings of the 2002 international symposium on symbolic and algebraic computation, July 07-10, 2002 Universite'de Lille, Lille, France
پدیدآورنده : Teo Mora, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Mathematics
رده :
QA
155
.
7
.
E4I57
2002


34. Information technology and applied mathematics :
پدیدآورنده : Peeyush Chandra [and others], editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Cryptography.,Computer science-- Mathematics.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Cryptography.
رده :
QA76
.
9
.
M35


35. Intelligent computer mathematics :
پدیدآورنده : Cezary Kaliszyk [and 3 others] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence-- Mathematics, Congresses.,Computer science-- Mathematics, Congresses.,Artificial intelligence-- Mathematics.,Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
C53
2019


36. Intelligent computer mathematics
پدیدآورنده : / Serge Autexier ... [et al] (eds.
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Algebra--Data processing--Congresses,Mathematical analysis--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
155
.
7
,.
E4
,
A35
,
2010


37. Intelligent computer mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algebra ; Data processing ; Congresses. ; Mathematical analysis ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;

38. Maple V:
پدیدآورنده : Robert J. Lopez, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.

39. Maple V:
پدیدآورنده : Robert J. Lopez, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.

40. Mathematics in the 21st century :
پدیدآورنده : Pierre Cartier, A. D. R. Choudary, Michel Waldschmidt, editors
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Data processing, Congresses.,Mathematics-- Experiments, Congresses.,Mathematics, Congresses.
رده :
QA76
.
95
.
M38
2015

